This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004. The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications (...) in industry and academia. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were (...) revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017. The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data (...) fusion; recommender systems; decision support systems; knowledge representation and reasoning; navigation, control, and autonome agents; sentiment analysis and social media; games, computer vision; and animation; uncertainty management; graphical models: from theory to applications; anomaly detection; agronomy and artificial intelligence; applications of argumentation; intelligent systems in healthcare and mhealth for health outcomes; and innovative applications of textual analysis based on AI. (shrink)

This groundbreaking proceedings volume explores the integration of Artificial Intelligence (AI) across key domains—healthcare, finance, education, robotics, industrial and other engineering applications —unveiling its transformative potential and practical implications. With a multidisciplinary lens, it transcends technical aspects, fostering a comprehensive understanding while bridging theory and practice. Approaching the subject matter with depth, the book combines theoretical foundations with real-world case studies, empowering researchers, professionals, and enthusiasts with the knowledge and tools to effectively harness AI. Encompassing diverse AI topics—machine (...) learning, natural language processing, computer vision, data analytics and supervisory control — the volume showcases state-of-the-art techniques propelling AI advancements. Structured into four parts: Part 1: Artificial Intelligence (AI), explores evolving deep neural networks, reinforcement learning, and explainable AI, providing a deep dive into the technical foundations of AI advancements. Part 2: Robotics and Control Systems, delves into the integration of AI in robotics and automatic control, addressing supervisory control, automated robotic movement coordination, anomaly detection, dynamic programming, and fault tolerance, offering insights into the evolving landscape of intelligent automation. Part 3: AI and Society, examines the societal impact of AI through chapters on ethical considerations, economic growth, environmental engagements, and hazard management, providing a holistic perspective on AI's role in shaping society. Part 4: PhD Symposium, presents the future of AI through cutting-edge research, covering legal and ethical dimensions, privacy considerations, and computationally efficient solutions, offering a glimpse into the next generation of AI advancements. Catering to a diverse audience—from industry leaders to students—the volume consolidates the expertise of renowned professionals, serving as a comprehensive resource for navigating the ever-evolving AI landscape. An essential reference for those staying at the forefront of AI developments. (shrink)

This paper reflects my address as IAAIL president at ICAIL 2021. It is aimed to give my vision of the status of the AI and Law discipline, and possible future perspectives. In this respect, I go through different seasons of AI research : from the Winter of AI, namely a period of mistrust in AI, to the Summer of AI, namely the current period of great interest in the discipline with lots of expectations. One of the results of the first (...) decades of AI research is that “intelligence requires knowledge”. Since its inception the Web proved to be an extraordinary vehicle for knowledge creation and sharing, therefore it’s not a surprise if the evolution of AI has followed the evolution of the Web. I argue that a bottom-up approach, in terms of machine/deep learning and NLP to extract knowledge from raw data, combined with a top-down approach, in terms of legal knowledge representation and models for legal reasoning and argumentation, may represent a promotion for the development of the Semantic Web, as well as of AI systems. Finally, I provide my insight in the potential of AI development, which takes into account technological opportunities and theoretical limits. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems that was organized by the Munich Center for Mathematical Philosophy at LMU Munich (Germany) on 21st-24th July, 2021. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory, and law.

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss (...) important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

In 2021, 193 Member States at UNESCO’s General Conference adopted the Recommendation on the Ethics of Artificial Intelligence as the first important step towards a future global standard-setting instrument on the subject. The text reflects an emerging consensus among the international community about the growing ethical concerns with artificial intelligence (AI). Among these concerns are also serious risks and dangers attributed to the manipulative effects of AI, which can be further exacerbated by the creative (...) combination of AI with other innovative technologies or applications, such as brain–computer interfaces (BCIs), functional magnetic resonance imaging (fMRI), robotics, and big data. The risks for individuals and society as a whole caused by manipulation through AI are already well known and have recently also been addressed by the European Union having released a proposal for an Artificial Intelligence Act (AIA). Among multiple risks related to AI, the AIA singles out the specific dangers related to AI systems that deploy “subliminal techniques beyond a person’s consciousness to materially distort a person’s behaviour in a manner that causes or is likely to cause that person or another person physical or psychological harm”. The present article thus aims to highlight the known and potential dangers related to AI systems manipulating human thoughts and behaviour through subliminal and supraliminal means and methods. To this end, it advocates the joint study of law and the senses captured by the concept of legal synaesthesia to correspond to the need for an interdisciplinary debate covering the complexity of the links between AI, related technologies, human perception based on the senses and the mind, as well as the role and instruments of law in the future organization of societies in this world. (shrink)

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

This paper presents work in progress on artificial intelligence in medicine (AIM) within the larger context of cognitive science. It introduces and develops the notion ofemergence both as an inevitable evolution of artificial intelligence towards machine learning programs and as the result of a synergistic co-operation between the physician and the computer. From this perspective, the emergence of knowledge takes placein fine in the expert's mind and is enhanced both by computerised strategies of induction and deduction, (...) and by software abilities to dialogue, co-operate and function as a cognitive extension of the physician's intellectual capabilities. The proposed methodology gives the expert a prominent role which consists, first, of faithfully enunciating the descriptive features of his medical knowledge, thus giving the computer a precise description of his own perception of basic medicine, and secondly, of painstakingly gathering patients into computerised case bases which simulate exhaustive long-term memory. The AI capacities for knowledge elaboration are then triggered, giving rise to mathematically optimal diagnoses, prognoses, or treatment protocols which the physician may then evaluate, accept, reject, or adapt at his convenience, and finally append to a knowledge base. The idea of emergence embraces many issues concerning the purpose and intent of artificial intelligence in medical practice. Particularly, we address the representation problem as it is raised by classical decisional knowledge-based systems, and develop the notions of classifiers and hybrid systems as possible answers to this problem. Finally, since the whole methodology touches the problem of technological investment in health care, now inherent in modern medical practice, some ethical considerations accompany the exposé. (shrink)

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an (...) introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

Creativity is one of the least understood aspects of intelligence and is often seen as intuitive' and not susceptible to rational enquiry. Recently, however, there has been a resurgence of interest in the area, principally in artificial intelligence and cognitive science, but also in psychology, philosophy, computer science, logic, mathematics, sociology, and architecture and design. This volume brings this work together and provides an overview of this rapidly developing field. It addresses a range of issues. Can computers (...) be creative? Can they help us to understand human creativity? How can artificial intelligence (AI) enhance human creativity? How, in particular, can it contribute to the sciences of the artificial', such as design? Does the new wave of AI (connectionism, geneticism and artificial life) offer more promise in these areas than classical, symbol-handling AI? What would the implications be for AI and cognitive science if computers could not be creative? These issues are explored in five interrelated parts, each of which is introducted and explained by a leading figure in the field. - Prologue (Margaret Boden) - Part I: Foundational Issues (Terry Dartnall) - Part II: Creativity and Cognition (Graeme S. Halford and Robert Levinson) - Part III: Creativity and Connectionism (Chris Thornton) - Part IV: Creativity and Design (John Gero) - Part V: Human Creativity Enhancement (Ernest Edmonds) - Epilogue (Douglas Hofstadter) For researchers in AI, cognitive science, computer science, philosophy, psychology, mathematics, logic, sociology, and architecture and design; and anyone interested in the rapidly growing field of artificial intelligence and creativity. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI (...) studies could potentially shed light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as (...) natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical (...) insight. An introduction by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

Artificial Intelligence (AI) offers numerous opportunities to improve military Intelligence, Surveillance, and Reconnaissance operations. And, modern militaries recognize the strategic value of reducing civilian harm. Grounded in these two assertions we focus on the transformative potential that AI ISR systems have for improving the respect for and protection of humanitarian relief operations. Specifically, we propose that establishing an interface for humanitarian organizations to military AI ISR systems can improve the current state of ad-hoc humanitarian notification systems, which (...) are notoriously unreliable and ineffective for both parties to conflict and humanitarian organizations. We argue that such an interface can improve military awareness and understanding while also ensuring that states better satisfy their international humanitarian law obligations to respect and protect humanitarian relief personnel. (shrink)

In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.

The field of artificial intelligence (AI) can be characterized as the investigation of computational systems that exhibit intelligent behavior (including algorithms and models used in these systems). The emphasis is not so much on understanding (human) cognitive processes as on producing models, algorithms, and systems that are capable of apparently intelligent behavior by whatever means available. The idea of AI has had a long history that can be traced all the way back to, for example, Leibniz. The idea (...) was furthered through the development, early in this century, of mathematical logic, cybernetics, and information theory, all of which contributed to AI theorizing. Alan Turing's bold claim that machines can think, advanced in his famous 1950 paper, and the “Turing test” he proposed therein as a means to test the intelligence of machines predated and prompted the formation of AI. Six years later, the Dartmouth conference in 1956, the participants of which included Allen Newell, Herbert Simon, Marvin Minsky, and John McCarthy, inaugurated AI as an academic discipline. This contemporary version of AI was facilitated by the invention and rapidly widening use of digital computers. AI embodies an extremely diverse set of ideas that are often mutually conflicting (as in the case of symbolism versus connectionism), and its relationship with other fields studying cognition (such as psychology and linguistics) has been a close but uneasy one. (shrink)

Whether copyrights should exist in content generated by an artificial intelligence is a frequently discussed issue in the legal literature. Most of the discussion focuses on economic rights, whereas the relationship of artificial intelligence and moral rights remains relatively obscure. However, as moral rights traditionally aim at protecting the author’s “personal sphere”, the question whether the law should recognize such protection in the content produced by machines is pressing; this is especially true considering that artificial (...) intelligence is continuously further developed and increasingly hard to comprehend for human beings. This paper first provides the background on the protection of moral rights under existing international, U.S. and European copyright laws. On this basis, the paper then proceeds to highlight special issues in connection with moral rights and content produced by artificial intelligence, in particular whether an artificial intelligence itself, the creator or users of an artificial intelligence should be considered as owners of moral rights. Finally, the present research discusses possible future solutions, in particular alternative forms of attribution rights or the introduction of related rights. (shrink)

Based on the proceedings of a 1985 conference held in the U.K., this volume embraces most of the important concerns in AI today, emphasizing common techniques and methodologies rather than applications. Topics covered include building efficient computational logic, planning and design, the representation of uncertain knowledge, user modelling, and psychological and philosophical issues. Papers on perception, theorem proving, expert systems, robotics, and data bases are also included. Each section is preceded by an introduction which draws comparisons between various papers.

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper offers some commentaries on papers drawn from the Journal’s third decade. They indicate a major shift within Artificial Intelligence, both generally and in AI and Law: away from symbolic techniques to those based on Machine Learning approaches, especially those based on Natural Language texts rather than feature sets. Eight papers are discussed: two concern the management and use of documents available (...) on the World Wide Web, and six apply machine learning techniques to a variety of legal applications. (shrink)

On the occasion of a first conference on Cognitive Science, it seems appropriate to review the basis of common understanding between the various disciplines. In my estimate, the most fundamental contribution so far of artificial intelligence and computer science to the joint enterprise of cognitive science has been the notion of a physical symbol system, i.e., the concept of a broad class of systems capable of having and manipulating symbols, yet realizable in the physical universe. The notion (...) of symbol so defined is internal to this concept, so it becomes a hypothesis that this notion of symbols includes the symbols that we humans use every day of our lives. In this paper we attempt systematically, but plainly, to lay out the nature of physical symbol systems. Such a review is in ways familiar, but not thereby useless. Restatement of fundamentals is an important exercise. (shrink)

This research attempts to construct a second order observation model in understanding the significance of Artificial intelligence (AI) in changing the global power structure. Because of the inevitable ubiquity of AI in the world societies’ near future, it impacts all the sections of society triggering socio-technical iterative developments. Its horizontal impact and states’ race to become leader in the AI world asks for a vivid understanding of its impact on the international system. To understand the latter, Triple (...) Helix (TH) model along with Shannon’s information entropy has been used to operationalize system’s theory. This model uses Shannon’s information theory to calculate the uncertainty generated from the interactions between the sub-systems considered. Data for the latter has been taken from Sanford Artificial Intelligence Laboratory 2019 report. It is found that European countries are the most effected in the AI era, with probability of losing their global influence and thus creating power void. Emerging powers such as India, Canada, South Africa and Brazil have better chances to fill the void and emerge as global influences. (shrink)

This volume is a collection of selected papers presented at the Second Asia-Pacific Computing and Philsosophy Conference, which was held in Bangkok, Thailand in January 2005. The conference was organized by the Center for Ethics of Science and Technology, Chulalongkorn University on behalf of the International Association of Computing and Philosophy (www.ia-cap.org). Computing have had a long relationship with philosophy, starting from the problem of how symbols being manipulated in computing bear a relation to the outside world, (...) to those of artificial intelligence, robotics, computer simulation, and so on. Moreover, as computer technologies have become thoroughly pervasive in today's environment, there are also issues concerning social and ethical impacts brought about by them. The papers in the volume represent a wide variety of concerns and various dimensions within which computing and philosophy are related. Furthermore, it also represents some of the first attempts to highlight cultural dimensions of computing and philosophy, which became prominent when the conference was held for the first time within the milieu of an Asian culture. (The First Asia-Pacific Computing and Philosophy was held in Canberra, Australia.) Hence, many of the papers in the volume address this added dimension. Apart form the usual problems of how computers and human lives are interconnected, the papers here also discuss how computers are related to human lives as lived in a specific culture. Thus the book breaks a new ground and should be of interest to a wide range of scholars and students who are interested, not only on computing and philosophy generally construed, but also on this exciting new dimension of how the cultures of Asia, the West, and others bear upon the traditional issues in computing and philosophy, and on how this dimension raises some new concerns and agenda. Among the topics discussed in this volume are: political online forums in Saudi Arabia, e-democracy and structural transformation of public sphere, the Buddhist informational person, a glance into the lives of computerized generation in Thailand, technology and journalism in the market, local approaches and global potential (?) of information ethics, computer-enhanced good life, computer teaching ethics, and many others. (shrink)

Recently, as I have become more computer-literate, I have noticed some interesting parallels between computer mechanisms and Aquinas’ metaphysics of angelic faculties. The present essay expands on some of the analogies which Aquinas himself, though no proponent of AI theory, might have found interesting.

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections (...) build into a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Philosophic Foundations of Mimetic Theory and Cognitive Science(Including Artificial Intelligence)Jean-Pierre Dupuy (bio)In the mid 1970s I discovered at the same time cognitive science and mimetic theory. Being a philosopher with a scientific background, I immediately brought them together and tried to reconceptualize the latter in terms of the former. In a sense, I haven't stopped doing that in the last 45 years. That is why I (...) feel fully at home with the goals pursued by the organizers of this conference.I do not believe it is feasible or even desirable to operate the rapprochement between the two disciplines at a global level. The history of cognitive science is exceedingly involved, and the part played by artificial intelligence in it compared to the part played by the neurosciences has varied greatly over time.1 Only a piecemeal approach makes sense. I present here four short case studies that cover the whole period, from the beginnings in cybernetics to today's artificial intelligence (AI).In order to better situate these studies within a broader frame, I propose the diagram in Figure 1. To comment on it would require more time than available for my whole presentation. Let me just say the following. [End Page 1]It is essential to distinguish between two kinds of AI. The first to bear this name was launched by economist Herbert Simon and computer scientist Allan Newell at a Dartmouth conference in 1956. It was based on the premise that thinking is computing, with this computation bearing on sentences of a "language of thought" implementable in a digital computer. It turns out that this AI(1) was progressively substituted from the 1980s onward by an AI(2), which, to some extent, was a return to a fundamental result obtained by cybernetics in 1943. Neurophysiologist Warren McCulloch and mathematician Walter Pitts had constructed a mathematical model of a network of elementary calculators called "neurons" and explored its properties. The capacity to "think" was one of these. It was not situated at the elementary level, as was the case in AI(1), but it emerged at the collective level from the interactions between the neurons.This model was heavily criticized by the supporters of AI(1),2 and its first implementations, in the notorious "Perceptron" in particular (1957), were pitiful failures. However, the emergence of "second-order cybernetics" under the guidance of cybernetician Heinz von Foerster and the theory of complex, self-organizing systems that it helped develop, in cooperation and rivalry with similar efforts in the physical sciences, enabled the neural network model to come to a second life under different names: formal neurons, deep learning, big data, and the like. Together, they constitute AI(2).The following network of influences wouldn't have been possible without its stem, that is, the boxes containing the names of Kurt Gödel and Alan Turing. The former revolutionized logic by showing that reasoning about arithmetic and arithmetic are one and the same, insofar as it is possible to code in a 1-to-1 fashion propositions about integers (for instance, "7 is a prime number") by means of integers. The latter demonstrated that some mechanisms can self-transcend inasmuch as they generate an ensemble of outputs that cannot be defined mechanistically. Later, John von Neumann, who is credited along with Alan Turing with having invented the digital computer, would use this logical possibility to define complexity: A mechanism is complex if it is capable of generating one more complex than itself. The gate was open for the theories of complex, self-organizing systems to thrive and, by way of consequence, for AI(2) to emerge.fascination with modelsHerbert Simon (1916–2001), winner of the Nobel Prize in economics for his work on what he called "bounded rationality," is generally considered to be one [End Page 2] Click for larger view View full resolutionFigure 1.of the founders of artificial intelligence. Some cognitive scientists still rely on the computer program that he devised with Alan Newell to simulate the creative processes of human thought—a program aptly named "General Problem Solver." The title of one of his principal works, The Sciences of the... (shrink)

The present paper looks at one of the most thorough articles on the intelligence of GPT, research conducted by engineers at Microsoft. Although there is a great deal of value in their work, I will argue that, for familiar philosophical reasons, their methodology, ‘Black-box Interpretability’ is wrongheaded. But there is a better way. There is an exciting and emerging discipline of ‘Inner Interpretability’ (also sometimes called ‘White-box Interpretability’) that aims to uncover the internal activations and weights of models in (...) order to understand what they represent and the algorithms they implement. In my view, a crucial mistake in Black-box Interpretability is the failure to appreciate that how processes are carried out matters when it comes to intelligence and understanding. I can’t pretend to have a full story that provides both necessary and sufficient conditions for being intelligent, but I do think that Inner Interpretability dovetails nicely with plausible philosophical views of what intelligence requires. So the conclusion is modest, but the important point in my view is seeing how to get the research on the right track. Towards the end of the paper, I will show how some of the philosophical concepts can be used to further refine how Inner Interpretability is approached, so the paper helps draw out a profitable, future two-way exchange between Philosophers and Computer Scientists. (shrink)

Computational models of memory presented in this issue reflect varied empirical data and levels of representation. From mathematical models to neural and cognitive architectures, all aim to converge on a unified theory of the mind.

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading (...) for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this (...) set is finite. But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic (...) research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding.There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. (...) John Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

The introduction of massive parallelism and the renewed interest in neural networks gives a new need to evaluate the relationship of symbolic processing and artificial intelligence. The physical symbol hypothesis has encountered many difficulties coping with human concepts and common sense. Expert systems are showing more promise for the early stages of learning than for real expertise. There is a need to evaluate more fully the inherent limitations of symbol systems and the potential for programming compared with (...) training. This can give more realistic goals for symbolic systems, particularly those based on logical foundations. (shrink)